node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
link(1,5) :- #0.157.
link(5,1) :- #0.327.
link(1,11) :- #0.259.
link(11,1) :- #0.291.
link(1,16) :- #0.834.
link(16,1) :- #0.286.
link(1,23) :- #0.664.
link(23,1) :- #0.79.
link(1,27) :- #0.426.
link(27,1) :- #0.736.
link(1,28) :- #0.946.
link(28,1) :- #0.088.
link(1,35) :- #0.12.
link(35,1) :- #0.933.
link(1,38) :- #0.178.
link(38,1) :- #0.2.
link(1,39) :- #0.156.
link(39,1) :- #0.964.
link(1,42) :- #0.224.
link(42,1) :- #0.718.
link(1,43) :- #0.877.
link(43,1) :- #0.118.
link(1,59) :- #0.296.
link(59,1) :- #0.496.
link(1,61) :- #0.466.
link(61,1) :- #0.906.
link(1,71) :- #0.233.
link(71,1) :- #0.655.
link(1,72) :- #0.075.
link(72,1) :- #0.885.
link(1,73) :- #0.179.
link(73,1) :- #0.219.
link(1,84) :- #0.17.
link(84,1) :- #0.267.
link(1,97) :- #0.871.
link(97,1) :- #0.981.
link(1,98) :- #0.194.
link(98,1) :- #0.542.
link(1,105) :- #0.988.
link(105,1) :- #0.867.
link(1,110) :- #0.584.
link(110,1) :- #0.765.
link(1,126) :- #0.496.
link(126,1) :- #0.047.
link(1,130) :- #0.974.
link(130,1) :- #0.335.
link(2,6) :- #0.686.
link(6,2) :- #0.768.
link(2,7) :- #0.915.
link(7,2) :- #0.942.
link(2,15) :- #0.851.
link(15,2) :- #0.816.
link(2,23) :- #0.821.
link(23,2) :- #0.417.
link(2,27) :- #0.442.
link(27,2) :- #0.185.
link(2,32) :- #0.357.
link(32,2) :- #0.544.
link(2,56) :- #0.959.
link(56,2) :- #0.8.
link(2,58) :- #0.115.
link(58,2) :- #0.828.
link(2,64) :- #0.117.
link(64,2) :- #0.696.
link(2,76) :- #0.971.
link(76,2) :- #0.182.
link(2,83) :- #0.461.
link(83,2) :- #0.278.
link(2,87) :- #0.731.
link(87,2) :- #0.507.
link(2,98) :- #0.145.
link(98,2) :- #0.753.
link(2,117) :- #0.893.
link(117,2) :- #0.984.
link(2,128) :- #0.103.
link(128,2) :- #0.678.
link(2,143) :- #0.131.
link(143,2) :- #0.32.
link(3,5) :- #0.131.
link(5,3) :- #0.203.
link(3,12) :- #0.243.
link(12,3) :- #0.258.
link(3,28) :- #0.104.
link(28,3) :- #0.798.
link(3,46) :- #0.258.
link(46,3) :- #0.97.
link(3,58) :- #0.682.
link(58,3) :- #0.463.
link(3,63) :- #0.321.
link(63,3) :- #0.756.
link(3,65) :- #0.722.
link(65,3) :- #0.85.
link(3,69) :- #0.307.
link(69,3) :- #0.183.
link(3,76) :- #0.276.
link(76,3) :- #0.004.
link(3,78) :- #0.368.
link(78,3) :- #0.006.
link(3,101) :- #0.637.
link(101,3) :- #0.138.
link(3,104) :- #0.154.
link(104,3) :- #0.013.
link(3,114) :- #0.495.
link(114,3) :- #0.749.
link(3,115) :- #0.164.
link(115,3) :- #0.3.
link(3,130) :- #0.683.
link(130,3) :- #0.563.
link(3,131) :- #0.871.
link(131,3) :- #0.187.
link(3,138) :- #0.553.
link(138,3) :- #0.034.
link(4,6) :- #0.253.
link(6,4) :- #0.36.
link(4,11) :- #0.073.
link(11,4) :- #0.03.
link(4,30) :- #0.265.
link(30,4) :- #0.424.
link(4,35) :- #0.861.
link(35,4) :- #0.788.
link(4,39) :- #0.398.
link(39,4) :- #0.409.
link(4,40) :- #0.49.
link(40,4) :- #0.275.
link(4,41) :- #0.863.
link(41,4) :- #0.325.
link(4,51) :- #0.317.
link(51,4) :- #0.685.
link(4,55) :- #0.171.
link(55,4) :- #0.355.
link(4,56) :- #0.335.
link(56,4) :- #0.593.
link(4,60) :- #0.06.
link(60,4) :- #0.963.
link(4,63) :- #0.116.
link(63,4) :- #0.097.
link(4,66) :- #0.252.
link(66,4) :- #0.065.
link(4,77) :- #0.97.
link(77,4) :- #0.429.
link(4,82) :- #0.453.
link(82,4) :- #0.574.
link(4,85) :- #0.138.
link(85,4) :- #0.844.
link(4,87) :- #0.084.
link(87,4) :- #0.249.
link(4,106) :- #0.023.
link(106,4) :- #0.83.
link(4,107) :- #0.509.
link(107,4) :- #0.823.
link(4,114) :- #0.386.
link(114,4) :- #0.875.
link(4,123) :- #0.039.
link(123,4) :- #0.321.
link(4,130) :- #0.674.
link(130,4) :- #0.311.
link(4,131) :- #0.807.
link(131,4) :- #0.935.
link(4,136) :- #0.531.
link(136,4) :- #0.217.
link(4,140) :- #0.124.
link(140,4) :- #0.678.
link(4,145) :- #0.401.
link(145,4) :- #0.767.
link(5,10) :- #0.043.
link(10,5) :- #0.653.
link(5,14) :- #0.345.
link(14,5) :- #0.759.
link(5,15) :- #0.578.
link(15,5) :- #0.274.
link(5,31) :- #0.813.
link(31,5) :- #0.686.
link(5,52) :- #0.89.
link(52,5) :- #0.351.
link(5,57) :- #0.687.
link(57,5) :- #0.712.
link(5,74) :- #0.405.
link(74,5) :- #0.006.
link(5,76) :- #0.061.
link(76,5) :- #0.069.
link(5,87) :- #0.584.
link(87,5) :- #0.839.
link(5,88) :- #0.771.
link(88,5) :- #0.832.
link(5,93) :- #0.006.
link(93,5) :- #0.394.
link(5,94) :- #0.823.
link(94,5) :- #0.147.
link(5,118) :- #0.785.
link(118,5) :- #0.361.
link(5,122) :- #0.61.
link(122,5) :- #0.874.
link(5,135) :- #0.598.
link(135,5) :- #0.279.
link(6,24) :- #0.969.
link(24,6) :- #0.178.
link(6,25) :- #0.888.
link(25,6) :- #0.042.
link(6,29) :- #0.928.
link(29,6) :- #0.041.
link(6,39) :- #0.029.
link(39,6) :- #0.764.
link(6,40) :- #0.887.
link(40,6) :- #0.379.
link(6,48) :- #0.427.
link(48,6) :- #0.569.
link(6,57) :- #0.305.
link(57,6) :- #0.624.
link(6,63) :- #0.935.
link(63,6) :- #0.441.
link(6,68) :- #0.853.
link(68,6) :- #0.302.
link(6,130) :- #0.682.
link(130,6) :- #0.197.
link(6,136) :- #0.026.
link(136,6) :- #0.394.
link(6,138) :- #0.915.
link(138,6) :- #0.003.
link(6,139) :- #0.992.
link(139,6) :- #0.767.
link(6,142) :- #0.835.
link(142,6) :- #0.292.
link(6,145) :- #0.897.
link(145,6) :- #0.816.
link(7,10) :- #0.572.
link(10,7) :- #0.726.
link(7,22) :- #0.14.
link(22,7) :- #0.823.
link(7,40) :- #0.342.
link(40,7) :- #0.456.
link(7,53) :- #0.294.
link(53,7) :- #0.56.
link(7,68) :- #0.772.
link(68,7) :- #0.916.
link(7,75) :- #0.351.
link(75,7) :- #0.05.
link(7,83) :- #0.225.
link(83,7) :- #0.981.
link(7,85) :- #0.845.
link(85,7) :- #0.358.
link(7,99) :- #0.492.
link(99,7) :- #0.381.
link(7,135) :- #0.891.
link(135,7) :- #0.932.
link(7,136) :- #0.094.
link(136,7) :- #0.791.
link(7,138) :- #0.427.
link(138,7) :- #0.757.
link(7,144) :- #0.928.
link(144,7) :- #0.144.
link(8,33) :- #0.291.
link(33,8) :- #0.956.
link(8,64) :- #0.611.
link(64,8) :- #0.251.
link(8,70) :- #0.632.
link(70,8) :- #0.898.
link(8,89) :- #0.365.
link(89,8) :- #0.137.
link(8,97) :- #0.462.
link(97,8) :- #0.556.
link(8,109) :- #0.975.
link(109,8) :- #0.237.
link(8,134) :- #0.433.
link(134,8) :- #0.061.
link(8,145) :- #0.443.
link(145,8) :- #0.366.
link(9,25) :- #0.909.
link(25,9) :- #0.009.
link(9,54) :- #0.752.
link(54,9) :- #0.635.
link(9,55) :- #0.581.
link(55,9) :- #0.344.
link(9,60) :- #0.05.
link(60,9) :- #0.08.
link(9,80) :- #0.813.
link(80,9) :- #0.915.
link(9,91) :- #0.048.
link(91,9) :- #0.989.
link(9,95) :- #0.14.
link(95,9) :- #0.503.
link(9,108) :- #0.079.
link(108,9) :- #0.824.
link(9,113) :- #0.106.
link(113,9) :- #0.961.
link(10,25) :- #0.569.
link(25,10) :- #0.399.
link(10,35) :- #0.687.
link(35,10) :- #0.699.
link(10,38) :- #0.653.
link(38,10) :- #0.842.
link(10,49) :- #0.714.
link(49,10) :- #0.239.
link(10,100) :- #0.611.
link(100,10) :- #0.835.
link(10,125) :- #0.893.
link(125,10) :- #0.589.
link(10,128) :- #0.246.
link(128,10) :- #0.214.
link(10,138) :- #0.811.
link(138,10) :- #0.516.
link(10,144) :- #0.384.
link(144,10) :- #0.019.
link(11,12) :- #0.622.
link(12,11) :- #0.992.
link(11,13) :- #0.326.
link(13,11) :- #0.26.
link(11,20) :- #0.269.
link(20,11) :- #0.499.
link(11,25) :- #0.371.
link(25,11) :- #0.635.
link(11,44) :- #0.207.
link(44,11) :- #0.13.
link(11,53) :- #0.759.
link(53,11) :- #0.22.
link(11,59) :- #0.494.
link(59,11) :- #0.319.
link(11,67) :- #0.604.
link(67,11) :- #0.163.
link(11,93) :- #0.283.
link(93,11) :- #0.279.
link(11,101) :- #0.239.
link(101,11) :- #0.927.
link(11,108) :- #0.487.
link(108,11) :- #0.187.
link(11,119) :- #0.852.
link(119,11) :- #0.837.
link(12,21) :- #0.386.
link(21,12) :- #0.494.
link(12,23) :- #0.435.
link(23,12) :- #0.241.
link(12,29) :- #0.278.
link(29,12) :- #0.372.
link(12,30) :- #0.709.
link(30,12) :- #0.288.
link(12,35) :- #0.563.
link(35,12) :- #0.997.
link(12,36) :- #0.376.
link(36,12) :- #0.28.
link(12,46) :- #0.846.
link(46,12) :- #0.49.
link(12,49) :- #0.489.
link(49,12) :- #0.234.
link(12,59) :- #0.4.
link(59,12) :- #0.676.
link(12,60) :- #0.833.
link(60,12) :- #0.078.
link(12,86) :- #0.26.
link(86,12) :- #0.339.
link(12,90) :- #0.65.
link(90,12) :- #0.178.
link(12,95) :- #0.2.
link(95,12) :- #0.153.
link(12,104) :- #0.111.
link(104,12) :- #0.153.
link(12,118) :- #0.065.
link(118,12) :- #0.395.
link(12,130) :- #0.181.
link(130,12) :- #0.444.
link(12,139) :- #0.511.
link(139,12) :- #0.798.
link(12,140) :- #0.701.
link(140,12) :- #0.629.
link(13,38) :- #0.848.
link(38,13) :- #0.421.
link(13,54) :- #0.041.
link(54,13) :- #0.048.
link(13,57) :- #0.879.
link(57,13) :- #0.114.
link(13,68) :- #0.719.
link(68,13) :- #0.936.
link(13,109) :- #0.535.
link(109,13) :- #0.567.
link(13,110) :- #0.26.
link(110,13) :- #0.837.
link(13,114) :- #0.44.
link(114,13) :- #0.939.
link(13,116) :- #0.909.
link(116,13) :- #0.874.
link(13,137) :- #0.206.
link(137,13) :- #0.746.
link(13,145) :- #0.732.
link(145,13) :- #0.038.
link(14,38) :- #0.971.
link(38,14) :- #0.995.
link(14,43) :- #0.255.
link(43,14) :- #0.762.
link(14,45) :- #0.113.
link(45,14) :- #0.052.
link(14,49) :- #0.142.
link(49,14) :- #0.879.
link(14,53) :- #0.086.
link(53,14) :- #0.4.
link(14,55) :- #0.944.
link(55,14) :- #0.682.
link(14,60) :- #0.15.
link(60,14) :- #0.464.
link(14,112) :- #0.644.
link(112,14) :- #0.208.
link(14,130) :- #0.547.
link(130,14) :- #0.908.
link(14,135) :- #0.478.
link(135,14) :- #0.385.
link(14,136) :- #0.253.
link(136,14) :- #0.121.
link(15,18) :- #0.131.
link(18,15) :- #0.111.
link(15,49) :- #0.068.
link(49,15) :- #0.802.
link(15,52) :- #0.246.
link(52,15) :- #0.228.
link(15,62) :- #0.053.
link(62,15) :- #0.988.
link(15,64) :- #0.977.
link(64,15) :- #0.375.
link(15,74) :- #0.573.
link(74,15) :- #0.559.
link(15,100) :- #0.743.
link(100,15) :- #0.648.
link(15,101) :- #0.657.
link(101,15) :- #0.837.
link(15,104) :- #0.111.
link(104,15) :- #0.249.
link(15,115) :- #0.601.
link(115,15) :- #0.634.
link(15,136) :- #0.946.
link(136,15) :- #0.056.
link(15,139) :- #0.609.
link(139,15) :- #0.079.
link(16,21) :- #0.15.
link(21,16) :- #0.399.
link(16,23) :- #0.42.
link(23,16) :- #0.972.
link(16,36) :- #0.039.
link(36,16) :- #0.708.
link(16,39) :- #0.919.
link(39,16) :- #0.133.
link(16,58) :- #0.138.
link(58,16) :- #0.107.
link(16,88) :- #0.494.
link(88,16) :- #0.143.
link(16,98) :- #0.813.
link(98,16) :- #0.07.
link(16,103) :- #0.542.
link(103,16) :- #0.699.
link(16,104) :- #0.085.
link(104,16) :- #0.748.
link(16,120) :- #0.096.
link(120,16) :- #0.32.
link(16,125) :- #0.593.
link(125,16) :- #0.426.
link(16,139) :- #0.871.
link(139,16) :- #0.503.
link(17,21) :- #0.139.
link(21,17) :- #0.339.
link(17,41) :- #0.272.
link(41,17) :- #0.673.
link(17,47) :- #0.438.
link(47,17) :- #0.99.
link(17,110) :- #0.567.
link(110,17) :- #0.854.
link(17,112) :- #0.704.
link(112,17) :- #0.463.
link(17,117) :- #0.827.
link(117,17) :- #0.127.
link(17,118) :- #0.73.
link(118,17) :- #0.589.
link(17,119) :- #0.571.
link(119,17) :- #0.588.
link(17,121) :- #0.231.
link(121,17) :- #0.208.
link(17,124) :- #0.7.
link(124,17) :- #0.858.
link(17,130) :- #0.988.
link(130,17) :- #0.06.
link(17,136) :- #0.216.
link(136,17) :- #0.825.
link(17,145) :- #0.75.
link(145,17) :- #0.847.
link(18,20) :- #0.905.
link(20,18) :- #0.348.
link(18,26) :- #0.893.
link(26,18) :- #0.86.
link(18,31) :- #0.164.
link(31,18) :- #0.248.
link(18,36) :- #0.386.
link(36,18) :- #0.851.
link(18,50) :- #0.224.
link(50,18) :- #0.279.
link(18,100) :- #0.054.
link(100,18) :- #0.038.
link(18,102) :- #0.336.
link(102,18) :- #0.531.
link(18,106) :- #0.295.
link(106,18) :- #0.499.
link(18,114) :- #0.92.
link(114,18) :- #0.08.
link(18,118) :- #0.022.
link(118,18) :- #0.632.
link(18,132) :- #0.047.
link(132,18) :- #0.923.
link(18,133) :- #0.431.
link(133,18) :- #0.783.
link(18,134) :- #0.107.
link(134,18) :- #0.469.
link(18,139) :- #0.403.
link(139,18) :- #0.762.
link(19,27) :- #0.364.
link(27,19) :- #0.909.
link(19,29) :- #0.545.
link(29,19) :- #0.518.
link(19,43) :- #0.794.
link(43,19) :- #0.894.
link(19,56) :- #0.699.
link(56,19) :- #0.183.
link(19,108) :- #0.068.
link(108,19) :- #0.36.
link(19,121) :- #0.63.
link(121,19) :- #0.584.
link(19,128) :- #0.27.
link(128,19) :- #0.402.
link(19,129) :- #0.691.
link(129,19) :- #0.813.
link(19,141) :- #0.679.
link(141,19) :- #0.557.
link(20,36) :- #0.812.
link(36,20) :- #0.99.
link(20,37) :- #0.251.
link(37,20) :- #0.07.
link(20,43) :- #0.746.
link(43,20) :- #0.804.
link(20,66) :- #0.703.
link(66,20) :- #0.009.
link(20,71) :- #0.322.
link(71,20) :- #0.022.
link(20,77) :- #0.11.
link(77,20) :- #0.834.
link(20,100) :- #0.43.
link(100,20) :- #0.076.
link(20,111) :- #0.656.
link(111,20) :- #0.035.
link(20,116) :- #0.762.
link(116,20) :- #0.101.
link(20,117) :- #0.617.
link(117,20) :- #0.205.
link(20,122) :- #0.2.
link(122,20) :- #0.795.
link(20,129) :- #0.421.
link(129,20) :- #0.666.
link(20,143) :- #0.365.
link(143,20) :- #0.056.
link(21,46) :- #0.819.
link(46,21) :- #0.13.
link(21,65) :- #0.757.
link(65,21) :- #0.225.
link(21,67) :- #0.209.
link(67,21) :- #0.549.
link(21,72) :- #0.298.
link(72,21) :- #0.477.
link(21,76) :- #0.097.
link(76,21) :- #0.979.
link(21,88) :- #0.833.
link(88,21) :- #0.508.
link(21,91) :- #0.694.
link(91,21) :- #0.174.
link(21,97) :- #0.372.
link(97,21) :- #0.466.
link(21,106) :- #0.97.
link(106,21) :- #0.459.
link(21,112) :- #0.82.
link(112,21) :- #0.416.
link(21,114) :- #0.943.
link(114,21) :- #0.937.
link(21,134) :- #0.705.
link(134,21) :- #0.586.
link(22,24) :- #0.923.
link(24,22) :- #0.058.
link(22,31) :- #0.655.
link(31,22) :- #0.83.
link(22,41) :- #0.36.
link(41,22) :- #0.249.
link(22,42) :- #0.972.
link(42,22) :- #0.065.
link(22,52) :- #0.387.
link(52,22) :- #0.479.
link(22,69) :- #0.812.
link(69,22) :- #0.731.
link(22,76) :- #0.221.
link(76,22) :- #0.165.
link(22,85) :- #0.906.
link(85,22) :- #0.32.
link(22,94) :- #0.017.
link(94,22) :- #0.411.
link(22,116) :- #0.068.
link(116,22) :- #0.78.
link(22,125) :- #0.297.
link(125,22) :- #0.751.
link(23,40) :- #0.591.
link(40,23) :- #0.726.
link(23,56) :- #0.575.
link(56,23) :- #0.9.
link(23,57) :- #0.976.
link(57,23) :- #0.149.
link(23,58) :- #0.739.
link(58,23) :- #0.76.
link(23,62) :- #0.946.
link(62,23) :- #0.086.
link(23,66) :- #0.065.
link(66,23) :- #0.521.
link(23,67) :- #0.597.
link(67,23) :- #0.116.
link(23,70) :- #0.609.
link(70,23) :- #0.958.
link(23,76) :- #0.483.
link(76,23) :- #0.694.
link(23,100) :- #0.225.
link(100,23) :- #0.54.
link(23,142) :- #0.109.
link(142,23) :- #0.086.
link(23,144) :- #0.445.
link(144,23) :- #0.886.
link(24,32) :- #0.077.
link(32,24) :- #0.012.
link(24,39) :- #0.146.
link(39,24) :- #0.259.
link(24,56) :- #0.373.
link(56,24) :- #0.125.
link(24,64) :- #0.79.
link(64,24) :- #0.671.
link(24,66) :- #0.014.
link(66,24) :- #0.9.
link(24,72) :- #0.561.
link(72,24) :- #0.77.
link(24,76) :- #0.381.
link(76,24) :- #0.785.
link(24,77) :- #0.874.
link(77,24) :- #0.989.
link(24,90) :- #0.036.
link(90,24) :- #0.121.
link(24,96) :- #0.306.
link(96,24) :- #0.43.
link(24,108) :- #0.805.
link(108,24) :- #0.002.
link(24,111) :- #0.566.
link(111,24) :- #0.204.
link(24,112) :- #0.417.
link(112,24) :- #0.26.
link(24,121) :- #0.559.
link(121,24) :- #0.463.
link(24,128) :- #0.523.
link(128,24) :- #0.096.
link(25,27) :- #0.232.
link(27,25) :- #0.215.
link(25,35) :- #0.411.
link(35,25) :- #0.559.
link(25,43) :- #0.731.
link(43,25) :- #0.224.
link(25,45) :- #0.097.
link(45,25) :- #0.471.
link(25,48) :- #0.377.
link(48,25) :- #0.585.
link(25,75) :- #0.524.
link(75,25) :- #0.173.
link(25,78) :- #0.294.
link(78,25) :- #0.835.
link(25,82) :- #0.661.
link(82,25) :- #0.421.
link(25,87) :- #0.826.
link(87,25) :- #0.036.
link(25,89) :- #0.169.
link(89,25) :- #0.23.
link(25,99) :- #0.408.
link(99,25) :- #0.097.
link(25,113) :- #0.554.
link(113,25) :- #0.571.
link(26,44) :- #0.699.
link(44,26) :- #0.534.
link(26,50) :- #0.204.
link(50,26) :- #0.696.
link(26,56) :- #0.947.
link(56,26) :- #0.8.
link(26,111) :- #0.382.
link(111,26) :- #0.876.
link(26,112) :- #0.652.
link(112,26) :- #0.775.
link(26,117) :- #0.752.
link(117,26) :- #0.439.
link(26,127) :- #0.408.
link(127,26) :- #0.825.
link(27,30) :- #0.84.
link(30,27) :- #0.757.
link(27,47) :- #0.672.
link(47,27) :- #0.024.
link(27,58) :- #0.497.
link(58,27) :- #0.113.
link(27,70) :- #0.225.
link(70,27) :- #0.72.
link(27,76) :- #0.797.
link(76,27) :- #0.936.
link(27,79) :- #0.231.
link(79,27) :- #0.98.
link(27,93) :- #0.31.
link(93,27) :- #0.387.
link(27,115) :- #0.214.
link(115,27) :- #0.735.
link(27,123) :- #0.623.
link(123,27) :- #0.729.
link(27,124) :- #0.735.
link(124,27) :- #0.504.
link(27,132) :- #0.687.
link(132,27) :- #0.879.
link(28,48) :- #0.242.
link(48,28) :- #0.686.
link(28,55) :- #0.685.
link(55,28) :- #0.114.
link(28,56) :- #0.034.
link(56,28) :- #0.824.
link(28,62) :- #0.978.
link(62,28) :- #0.612.
link(28,89) :- #0.706.
link(89,28) :- #0.372.
link(28,109) :- #0.28.
link(109,28) :- #0.653.
link(28,131) :- #0.224.
link(131,28) :- #0.094.
link(28,138) :- #0.791.
link(138,28) :- #0.156.
link(29,52) :- #0.095.
link(52,29) :- #0.697.
link(29,54) :- #0.986.
link(54,29) :- #0.449.
link(29,60) :- #0.061.
link(60,29) :- #0.983.
link(29,62) :- #0.274.
link(62,29) :- #0.737.
link(29,65) :- #0.718.
link(65,29) :- #0.103.
link(29,74) :- #0.581.
link(74,29) :- #0.675.
link(29,114) :- #0.149.
link(114,29) :- #0.32.
link(29,121) :- #0.214.
link(121,29) :- #0.408.
link(29,137) :- #0.68.
link(137,29) :- #0.374.
link(30,33) :- #0.223.
link(33,30) :- #0.84.
link(30,36) :- #0.421.
link(36,30) :- #0.681.
link(30,37) :- #0.
link(37,30) :- #0.104.
link(30,54) :- #0.304.
link(54,30) :- #0.411.
link(30,73) :- #0.537.
link(73,30) :- #0.901.
link(30,78) :- #0.596.
link(78,30) :- #0.203.
link(30,79) :- #0.555.
link(79,30) :- #0.79.
link(30,97) :- #0.512.
link(97,30) :- #0.086.
link(30,109) :- #0.635.
link(109,30) :- #0.519.
link(30,113) :- #0.985.
link(113,30) :- #0.846.
link(30,123) :- #0.264.
link(123,30) :- #0.156.
link(30,140) :- #0.114.
link(140,30) :- #0.884.
link(30,141) :- #0.838.
link(141,30) :- #0.244.
link(31,37) :- #0.464.
link(37,31) :- #0.776.
link(31,41) :- #0.799.
link(41,31) :- #0.303.
link(31,49) :- #0.564.
link(49,31) :- #0.616.
link(31,57) :- #0.082.
link(57,31) :- #0.189.
link(31,67) :- #0.453.
link(67,31) :- #0.558.
link(31,68) :- #0.464.
link(68,31) :- #0.66.
link(31,79) :- #0.513.
link(79,31) :- #0.151.
link(31,124) :- #0.543.
link(124,31) :- #0.794.
link(31,126) :- #0.501.
link(126,31) :- #0.33.
link(31,133) :- #0.382.
link(133,31) :- #0.917.
link(31,139) :- #0.392.
link(139,31) :- #0.745.
link(31,144) :- #0.013.
link(144,31) :- #0.609.
link(32,42) :- #0.404.
link(42,32) :- #0.244.
link(32,43) :- #0.372.
link(43,32) :- #0.117.
link(32,47) :- #0.348.
link(47,32) :- #0.275.
link(32,72) :- #0.969.
link(72,32) :- #0.638.
link(32,84) :- #0.839.
link(84,32) :- #0.976.
link(32,91) :- #0.878.
link(91,32) :- #0.168.
link(32,93) :- #0.079.
link(93,32) :- #0.388.
link(32,99) :- #0.057.
link(99,32) :- #0.681.
link(32,113) :- #0.179.
link(113,32) :- #0.303.
link(32,118) :- #0.664.
link(118,32) :- #0.958.
link(32,122) :- #0.506.
link(122,32) :- #0.349.
link(32,131) :- #0.936.
link(131,32) :- #0.274.
link(32,134) :- #0.482.
link(134,32) :- #0.321.
link(32,137) :- #0.283.
link(137,32) :- #0.919.
link(32,138) :- #0.755.
link(138,32) :- #0.155.
link(32,144) :- #0.035.
link(144,32) :- #0.297.
link(33,67) :- #0.659.
link(67,33) :- #0.107.
link(33,83) :- #0.523.
link(83,33) :- #0.378.
link(33,89) :- #0.648.
link(89,33) :- #0.305.
link(33,99) :- #0.804.
link(99,33) :- #0.032.
link(33,112) :- #0.467.
link(112,33) :- #0.334.
link(33,120) :- #0.14.
link(120,33) :- #0.281.
link(33,124) :- #0.712.
link(124,33) :- #0.468.
link(33,125) :- #0.444.
link(125,33) :- #0.5.
link(33,143) :- #0.29.
link(143,33) :- #0.56.
link(34,52) :- #0.161.
link(52,34) :- #0.892.
link(34,53) :- #0.781.
link(53,34) :- #0.183.
link(34,70) :- #0.976.
link(70,34) :- #0.17.
link(34,86) :- #0.641.
link(86,34) :- #0.723.
link(34,92) :- #0.999.
link(92,34) :- #0.906.
link(34,96) :- #0.396.
link(96,34) :- #0.614.
link(34,100) :- #0.703.
link(100,34) :- #0.743.
link(34,125) :- #0.919.
link(125,34) :- #0.671.
link(34,130) :- #0.392.
link(130,34) :- #0.985.
link(34,143) :- #0.545.
link(143,34) :- #0.374.
link(35,49) :- #0.79.
link(49,35) :- #0.552.
link(35,78) :- #0.269.
link(78,35) :- #0.369.
link(35,90) :- #0.939.
link(90,35) :- #0.127.
link(35,96) :- #0.781.
link(96,35) :- #0.36.
link(35,101) :- #0.739.
link(101,35) :- #0.271.
link(35,103) :- #0.285.
link(103,35) :- #0.825.
link(35,113) :- #0.607.
link(113,35) :- #0.42.
link(35,118) :- #0.366.
link(118,35) :- #0.584.
link(35,123) :- #0.979.
link(123,35) :- #0.055.
link(35,136) :- #0.927.
link(136,35) :- #0.661.
link(36,51) :- #0.146.
link(51,36) :- #0.665.
link(36,52) :- #0.907.
link(52,36) :- #0.016.
link(36,63) :- #0.678.
link(63,36) :- #0.916.
link(36,73) :- #0.242.
link(73,36) :- #0.683.
link(36,77) :- #0.766.
link(77,36) :- #0.091.
link(36,89) :- #0.882.
link(89,36) :- #0.518.
link(36,96) :- #0.123.
link(96,36) :- #0.143.
link(36,107) :- #0.39.
link(107,36) :- #0.776.
link(36,112) :- #0.793.
link(112,36) :- #0.88.
link(36,119) :- #0.587.
link(119,36) :- #0.063.
link(37,46) :- #0.725.
link(46,37) :- #0.849.
link(37,62) :- #0.051.
link(62,37) :- #0.928.
link(37,65) :- #0.279.
link(65,37) :- #0.48.
link(37,66) :- #0.257.
link(66,37) :- #0.553.
link(37,70) :- #0.769.
link(70,37) :- #0.237.
link(37,73) :- #0.468.
link(73,37) :- #0.235.
link(37,74) :- #0.689.
link(74,37) :- #0.789.
link(37,81) :- #0.571.
link(81,37) :- #0.736.
link(37,85) :- #0.509.
link(85,37) :- #0.06.
link(37,123) :- #0.311.
link(123,37) :- #0.268.
link(37,124) :- #0.87.
link(124,37) :- #0.095.
link(37,127) :- #0.313.
link(127,37) :- #0.889.
link(37,130) :- #0.145.
link(130,37) :- #0.812.
link(37,139) :- #0.999.
link(139,37) :- #0.289.
link(38,39) :- #0.463.
link(39,38) :- #0.316.
link(38,43) :- #0.671.
link(43,38) :- #0.19.
link(38,48) :- #0.458.
link(48,38) :- #0.609.
link(38,55) :- #0.381.
link(55,38) :- #0.414.
link(38,57) :- #0.818.
link(57,38) :- #0.471.
link(38,62) :- #0.596.
link(62,38) :- #0.941.
link(38,65) :- #0.648.
link(65,38) :- #0.378.
link(38,69) :- #0.457.
link(69,38) :- #0.966.
link(38,71) :- #0.247.
link(71,38) :- #0.508.
link(38,85) :- #0.619.
link(85,38) :- #0.112.
link(38,91) :- #0.999.
link(91,38) :- #0.932.
link(38,109) :- #0.35.
link(109,38) :- #0.956.
link(38,130) :- #0.148.
link(130,38) :- #0.589.
link(39,44) :- #0.788.
link(44,39) :- #0.969.
link(39,50) :- #0.518.
link(50,39) :- #0.744.
link(39,68) :- #0.882.
link(68,39) :- #0.827.
link(39,71) :- #0.112.
link(71,39) :- #0.678.
link(39,91) :- #0.691.
link(91,39) :- #0.937.
link(39,110) :- #0.639.
link(110,39) :- #0.739.
link(39,116) :- #0.913.
link(116,39) :- #0.339.
link(39,117) :- #0.676.
link(117,39) :- #0.804.
link(39,119) :- #0.096.
link(119,39) :- #0.206.
link(39,129) :- #0.394.
link(129,39) :- #0.242.
link(39,145) :- #0.085.
link(145,39) :- #0.769.
link(40,55) :- #0.736.
link(55,40) :- #0.706.
link(40,76) :- #0.344.
link(76,40) :- #0.016.
link(40,83) :- #0.216.
link(83,40) :- #0.281.
link(40,116) :- #0.711.
link(116,40) :- #0.373.
link(40,119) :- #0.996.
link(119,40) :- #0.634.
link(41,67) :- #0.528.
link(67,41) :- #0.991.
link(41,79) :- #0.66.
link(79,41) :- #0.806.
link(41,88) :- #0.343.
link(88,41) :- #0.421.
link(41,92) :- #0.048.
link(92,41) :- #0.971.
link(41,94) :- #0.407.
link(94,41) :- #0.392.
link(41,104) :- #0.891.
link(104,41) :- #0.038.
link(41,106) :- #0.99.
link(106,41) :- #0.975.
link(41,115) :- #0.771.
link(115,41) :- #0.011.
link(41,123) :- #0.188.
link(123,41) :- #0.643.
link(41,124) :- #0.767.
link(124,41) :- #0.074.
link(41,128) :- #0.031.
link(128,41) :- #0.965.
link(41,129) :- #0.835.
link(129,41) :- #0.628.
link(42,59) :- #0.581.
link(59,42) :- #0.038.
link(42,85) :- #0.654.
link(85,42) :- #0.086.
link(42,97) :- #0.638.
link(97,42) :- #0.083.
link(42,98) :- #0.965.
link(98,42) :- #0.837.
link(42,116) :- #0.987.
link(116,42) :- #0.104.
link(42,128) :- #0.954.
link(128,42) :- #0.924.
link(42,139) :- #0.906.
link(139,42) :- #0.435.
link(43,49) :- #0.547.
link(49,43) :- #0.212.
link(43,53) :- #0.279.
link(53,43) :- #0.704.
link(43,55) :- #0.427.
link(55,43) :- #0.716.
link(43,76) :- #0.954.
link(76,43) :- #0.925.
link(43,77) :- #0.845.
link(77,43) :- #0.934.
link(43,97) :- #0.422.
link(97,43) :- #0.585.
link(43,101) :- #0.042.
link(101,43) :- #0.1.
link(43,102) :- #0.997.
link(102,43) :- #0.827.
link(43,104) :- #0.794.
link(104,43) :- #0.784.
link(43,122) :- #0.058.
link(122,43) :- #0.75.
link(43,123) :- #0.031.
link(123,43) :- #0.046.
link(43,124) :- #0.711.
link(124,43) :- #0.101.
link(43,140) :- #0.904.
link(140,43) :- #0.759.
link(44,48) :- #0.304.
link(48,44) :- #0.736.
link(44,55) :- #0.23.
link(55,44) :- #0.841.
link(44,68) :- #0.309.
link(68,44) :- #0.564.
link(44,89) :- #0.265.
link(89,44) :- #0.104.
link(44,95) :- #0.187.
link(95,44) :- #0.583.
link(44,96) :- #0.605.
link(96,44) :- #0.703.
link(44,97) :- #0.362.
link(97,44) :- #0.149.
link(44,101) :- #0.032.
link(101,44) :- #0.462.
link(44,125) :- #0.595.
link(125,44) :- #0.076.
link(44,137) :- #0.063.
link(137,44) :- #0.668.
link(44,138) :- #0.797.
link(138,44) :- #0.159.
link(45,53) :- #0.067.
link(53,45) :- #0.537.
link(45,55) :- #0.097.
link(55,45) :- #0.586.
link(45,59) :- #0.238.
link(59,45) :- #0.827.
link(45,66) :- #0.459.
link(66,45) :- #0.559.
link(45,108) :- #0.576.
link(108,45) :- #0.133.
link(45,109) :- #0.739.
link(109,45) :- #0.702.
link(45,116) :- #0.009.
link(116,45) :- #0.752.
link(45,122) :- #0.312.
link(122,45) :- #0.118.
link(45,128) :- #0.719.
link(128,45) :- #0.673.
link(45,138) :- #0.751.
link(138,45) :- #0.666.
link(45,139) :- #0.894.
link(139,45) :- #0.954.
link(46,47) :- #0.625.
link(47,46) :- #0.4.
link(46,51) :- #0.136.
link(51,46) :- #0.354.
link(46,65) :- #0.126.
link(65,46) :- #0.522.
link(46,71) :- #0.307.
link(71,46) :- #0.506.
link(46,72) :- #0.495.
link(72,46) :- #0.415.
link(46,83) :- #0.279.
link(83,46) :- #0.89.
link(46,84) :- #0.188.
link(84,46) :- #0.802.
link(46,89) :- #0.925.
link(89,46) :- #0.557.
link(46,98) :- #0.654.
link(98,46) :- #0.033.
link(46,99) :- #0.22.
link(99,46) :- #0.391.
link(46,101) :- #0.604.
link(101,46) :- #0.52.
link(46,109) :- #0.022.
link(109,46) :- #0.323.
link(46,114) :- #0.794.
link(114,46) :- #0.099.
link(46,119) :- #0.364.
link(119,46) :- #0.323.
link(46,121) :- #0.774.
link(121,46) :- #0.215.
link(46,131) :- #0.713.
link(131,46) :- #0.267.
link(46,141) :- #0.577.
link(141,46) :- #0.567.
link(47,49) :- #0.111.
link(49,47) :- #0.616.
link(47,51) :- #0.16.
link(51,47) :- #0.806.
link(47,53) :- #0.479.
link(53,47) :- #0.618.
link(47,56) :- #0.096.
link(56,47) :- #0.85.
link(47,73) :- #0.026.
link(73,47) :- #0.961.
link(47,102) :- #0.922.
link(102,47) :- #0.047.
link(47,115) :- #0.245.
link(115,47) :- #0.084.
link(47,133) :- #0.777.
link(133,47) :- #0.032.
link(48,72) :- #0.573.
link(72,48) :- #0.026.
link(48,74) :- #0.178.
link(74,48) :- #0.454.
link(48,102) :- #0.499.
link(102,48) :- #0.581.
link(48,114) :- #0.655.
link(114,48) :- #0.553.
link(48,118) :- #0.744.
link(118,48) :- #0.853.
link(48,132) :- #0.297.
link(132,48) :- #0.672.
link(48,141) :- #0.684.
link(141,48) :- #0.093.
link(49,55) :- #0.47.
link(55,49) :- #0.435.
link(49,58) :- #0.247.
link(58,49) :- #0.944.
link(49,71) :- #0.919.
link(71,49) :- #0.383.
link(49,72) :- #0.119.
link(72,49) :- #0.304.
link(49,81) :- #0.285.
link(81,49) :- #0.203.
link(49,98) :- #0.006.
link(98,49) :- #0.645.
link(49,101) :- #0.79.
link(101,49) :- #0.024.
link(49,114) :- #0.223.
link(114,49) :- #0.478.
link(49,141) :- #0.164.
link(141,49) :- #0.15.
link(50,52) :- #0.853.
link(52,50) :- #0.25.
link(50,63) :- #0.108.
link(63,50) :- #0.784.
link(50,69) :- #0.719.
link(69,50) :- #0.19.
link(50,70) :- #0.023.
link(70,50) :- #0.713.
link(50,74) :- #0.225.
link(74,50) :- #0.903.
link(50,81) :- #0.762.
link(81,50) :- #0.561.
link(50,85) :- #0.771.
link(85,50) :- #0.867.
link(50,87) :- #0.89.
link(87,50) :- #0.347.
link(50,90) :- #0.571.
link(90,50) :- #0.743.
link(50,93) :- #0.786.
link(93,50) :- #0.845.
link(50,103) :- #0.73.
link(103,50) :- #0.81.
link(50,124) :- #0.718.
link(124,50) :- #0.426.
link(50,131) :- #0.98.
link(131,50) :- #0.977.
link(50,143) :- #0.344.
link(143,50) :- #0.754.
link(51,72) :- #0.29.
link(72,51) :- #0.296.
link(51,89) :- #0.325.
link(89,51) :- #0.368.
link(51,105) :- #0.195.
link(105,51) :- #0.482.
link(51,114) :- #0.805.
link(114,51) :- #0.789.
link(51,122) :- #0.346.
link(122,51) :- #0.604.
link(51,132) :- #0.255.
link(132,51) :- #0.425.
link(51,136) :- #0.812.
link(136,51) :- #0.343.
link(52,58) :- #0.796.
link(58,52) :- #0.229.
link(52,67) :- #0.81.
link(67,52) :- #0.324.
link(52,68) :- #0.105.
link(68,52) :- #0.283.
link(52,75) :- #0.947.
link(75,52) :- #0.202.
link(52,82) :- #0.631.
link(82,52) :- #0.457.
link(52,84) :- #0.929.
link(84,52) :- #0.107.
link(52,89) :- #0.366.
link(89,52) :- #0.931.
link(52,93) :- #0.072.
link(93,52) :- #0.677.
link(52,96) :- #0.217.
link(96,52) :- #0.932.
link(52,112) :- #0.445.
link(112,52) :- #0.09.
link(52,133) :- #0.938.
link(133,52) :- #0.029.
link(52,142) :- #0.043.
link(142,52) :- #0.149.
link(53,60) :- #0.324.
link(60,53) :- #0.966.
link(53,70) :- #0.016.
link(70,53) :- #0.593.
link(53,87) :- #0.245.
link(87,53) :- #0.364.
link(54,67) :- #0.552.
link(67,54) :- #0.109.
link(54,69) :- #0.099.
link(69,54) :- #0.951.
link(54,70) :- #0.94.
link(70,54) :- #0.333.
link(54,76) :- #0.332.
link(76,54) :- #0.847.
link(54,81) :- #0.387.
link(81,54) :- #0.941.
link(54,90) :- #0.869.
link(90,54) :- #0.17.
link(54,93) :- #0.114.
link(93,54) :- #0.301.
link(54,103) :- #0.407.
link(103,54) :- #0.892.
link(54,109) :- #0.894.
link(109,54) :- #0.395.
link(54,119) :- #0.517.
link(119,54) :- #0.884.
link(54,129) :- #0.572.
link(129,54) :- #0.682.
link(54,131) :- #0.022.
link(131,54) :- #0.96.
link(54,136) :- #0.003.
link(136,54) :- #0.296.
link(54,139) :- #0.228.
link(139,54) :- #0.956.
link(54,144) :- #0.706.
link(144,54) :- #0.66.
link(55,63) :- #0.524.
link(63,55) :- #0.523.
link(55,82) :- #0.009.
link(82,55) :- #0.975.
link(55,89) :- #0.957.
link(89,55) :- #0.863.
link(55,94) :- #0.429.
link(94,55) :- #0.728.
link(55,99) :- #0.437.
link(99,55) :- #0.66.
link(55,107) :- #0.066.
link(107,55) :- #0.724.
link(55,120) :- #0.766.
link(120,55) :- #0.599.
link(55,136) :- #0.147.
link(136,55) :- #0.166.
link(55,137) :- #0.166.
link(137,55) :- #0.064.
link(56,69) :- #0.002.
link(69,56) :- #0.138.
link(56,80) :- #0.071.
link(80,56) :- #0.624.
link(56,81) :- #0.397.
link(81,56) :- #0.682.
link(56,85) :- #0.78.
link(85,56) :- #0.271.
link(56,95) :- #0.649.
link(95,56) :- #0.53.
link(56,111) :- #0.952.
link(111,56) :- #0.707.
link(56,115) :- #0.368.
link(115,56) :- #0.823.
link(56,139) :- #0.673.
link(139,56) :- #0.505.
link(57,62) :- #0.33.
link(62,57) :- #0.767.
link(57,64) :- #0.856.
link(64,57) :- #0.258.
link(57,66) :- #0.384.
link(66,57) :- #0.644.
link(57,77) :- #0.556.
link(77,57) :- #0.669.
link(57,79) :- #0.548.
link(79,57) :- #0.737.
link(57,82) :- #0.472.
link(82,57) :- #0.486.
link(57,100) :- #0.57.
link(100,57) :- #0.313.
link(57,101) :- #0.614.
link(101,57) :- #0.652.
link(57,109) :- #0.194.
link(109,57) :- #0.394.
link(57,116) :- #0.045.
link(116,57) :- #0.503.
link(57,121) :- #0.59.
link(121,57) :- #0.767.
link(57,122) :- #0.628.
link(122,57) :- #0.295.
link(57,126) :- #0.792.
link(126,57) :- #0.759.
link(57,141) :- #0.145.
link(141,57) :- #0.351.
link(58,83) :- #0.334.
link(83,58) :- #0.289.
link(58,102) :- #0.526.
link(102,58) :- #0.081.
link(58,108) :- #0.391.
link(108,58) :- #0.522.
link(59,76) :- #0.719.
link(76,59) :- #0.726.
link(59,95) :- #0.872.
link(95,59) :- #0.861.
link(59,111) :- #0.141.
link(111,59) :- #0.864.
link(59,124) :- #0.717.
link(124,59) :- #0.933.
link(59,134) :- #0.303.
link(134,59) :- #0.12.
link(60,71) :- #0.822.
link(71,60) :- #0.483.
link(60,83) :- #0.912.
link(83,60) :- #0.704.
link(60,86) :- #0.128.
link(86,60) :- #0.452.
link(60,99) :- #0.416.
link(99,60) :- #0.96.
link(60,108) :- #0.512.
link(108,60) :- #0.209.
link(60,115) :- #0.886.
link(115,60) :- #0.201.
link(60,119) :- #0.698.
link(119,60) :- #0.261.
link(60,121) :- #0.504.
link(121,60) :- #0.305.
link(60,123) :- #0.988.
link(123,60) :- #0.496.
link(60,127) :- #0.679.
link(127,60) :- #0.549.
link(60,134) :- #0.521.
link(134,60) :- #0.084.
link(60,136) :- #0.25.
link(136,60) :- #0.633.
link(60,137) :- #0.922.
link(137,60) :- #0.643.
link(60,145) :- #0.939.
link(145,60) :- #0.903.
link(61,64) :- #0.916.
link(64,61) :- #0.943.
link(61,65) :- #0.752.
link(65,61) :- #0.245.
link(61,67) :- #0.991.
link(67,61) :- #0.473.
link(61,69) :- #0.504.
link(69,61) :- #0.543.
link(61,70) :- #0.781.
link(70,61) :- #0.403.
link(61,96) :- #0.815.
link(96,61) :- #0.867.
link(61,104) :- #0.108.
link(104,61) :- #0.158.
link(61,110) :- #0.659.
link(110,61) :- #0.765.
link(61,112) :- #0.769.
link(112,61) :- #0.57.
link(61,128) :- #0.593.
link(128,61) :- #0.098.
link(61,141) :- #0.211.
link(141,61) :- #0.04.
link(61,145) :- #0.799.
link(145,61) :- #0.372.
link(62,80) :- #0.314.
link(80,62) :- #0.643.
link(62,83) :- #0.893.
link(83,62) :- #0.462.
link(62,99) :- #0.927.
link(99,62) :- #0.593.
link(62,100) :- #0.383.
link(100,62) :- #0.154.
link(62,115) :- #0.788.
link(115,62) :- #0.055.
link(62,119) :- #0.746.
link(119,62) :- #0.93.
link(62,129) :- #0.577.
link(129,62) :- #0.185.
link(62,136) :- #0.268.
link(136,62) :- #0.741.
link(62,139) :- #0.233.
link(139,62) :- #0.336.
link(62,144) :- #0.231.
link(144,62) :- #0.976.
link(63,68) :- #0.442.
link(68,63) :- #0.183.
link(63,71) :- #0.382.
link(71,63) :- #0.797.
link(63,77) :- #0.177.
link(77,63) :- #0.668.
link(63,89) :- #0.159.
link(89,63) :- #0.418.
link(63,90) :- #0.093.
link(90,63) :- #0.981.
link(63,93) :- #0.233.
link(93,63) :- #0.595.
link(63,100) :- #0.016.
link(100,63) :- #0.719.
link(63,125) :- #0.91.
link(125,63) :- #0.489.
link(63,144) :- #0.937.
link(144,63) :- #0.998.
link(64,66) :- #0.927.
link(66,64) :- #0.636.
link(64,77) :- #0.332.
link(77,64) :- #0.756.
link(64,79) :- #0.636.
link(79,64) :- #0.914.
link(64,82) :- #0.779.
link(82,64) :- #0.311.
link(64,93) :- #0.209.
link(93,64) :- #0.114.
link(64,100) :- #0.291.
link(100,64) :- #0.234.
link(64,106) :- #0.077.
link(106,64) :- #0.964.
link(64,112) :- #0.374.
link(112,64) :- #0.563.
link(64,131) :- #0.547.
link(131,64) :- #0.733.
link(64,134) :- #0.962.
link(134,64) :- #0.006.
link(64,142) :- #0.427.
link(142,64) :- #0.878.
link(65,70) :- #0.416.
link(70,65) :- #0.023.
link(65,86) :- #0.419.
link(86,65) :- #0.559.
link(65,103) :- #0.004.
link(103,65) :- #0.08.
link(65,109) :- #0.06.
link(109,65) :- #0.315.
link(65,112) :- #0.357.
link(112,65) :- #0.193.
link(65,118) :- #0.791.
link(118,65) :- #0.38.
link(65,120) :- #0.663.
link(120,65) :- #0.346.
link(65,130) :- #0.428.
link(130,65) :- #0.929.
link(66,83) :- #0.798.
link(83,66) :- #0.14.
link(66,87) :- #0.212.
link(87,66) :- #0.267.
link(66,97) :- #0.437.
link(97,66) :- #0.048.
link(66,103) :- #0.122.
link(103,66) :- #0.567.
link(66,104) :- #0.894.
link(104,66) :- #0.83.
link(66,118) :- #0.107.
link(118,66) :- #0.883.
link(66,127) :- #0.076.
link(127,66) :- #0.831.
link(66,129) :- #0.887.
link(129,66) :- #0.017.
link(66,145) :- #0.403.
link(145,66) :- #0.08.
link(67,78) :- #0.597.
link(78,67) :- #0.39.
link(67,90) :- #0.834.
link(90,67) :- #0.107.
link(67,94) :- #0.403.
link(94,67) :- #0.738.
link(67,99) :- #0.523.
link(99,67) :- #0.414.
link(67,103) :- #0.639.
link(103,67) :- #0.695.
link(67,129) :- #0.973.
link(129,67) :- #0.112.
link(67,130) :- #0.751.
link(130,67) :- #0.487.
link(67,139) :- #0.66.
link(139,67) :- #0.
link(68,73) :- #0.336.
link(73,68) :- #0.162.
link(68,74) :- #0.611.
link(74,68) :- #0.471.
link(68,79) :- #0.782.
link(79,68) :- #0.321.
link(68,92) :- #0.582.
link(92,68) :- #0.072.
link(68,110) :- #0.049.
link(110,68) :- #0.845.
link(68,112) :- #0.896.
link(112,68) :- #0.335.
link(68,115) :- #0.068.
link(115,68) :- #0.007.
link(68,116) :- #0.243.
link(116,68) :- #0.716.
link(68,135) :- #0.32.
link(135,68) :- #0.782.
link(68,137) :- #0.385.
link(137,68) :- #0.102.
link(68,142) :- #0.713.
link(142,68) :- #0.485.
link(68,145) :- #0.689.
link(145,68) :- #0.667.
link(69,99) :- #0.682.
link(99,69) :- #0.85.
link(69,105) :- #0.211.
link(105,69) :- #0.571.
link(69,135) :- #0.063.
link(135,69) :- #0.648.
link(69,138) :- #0.063.
link(138,69) :- #0.824.
link(70,100) :- #0.167.
link(100,70) :- #0.228.
link(70,105) :- #0.331.
link(105,70) :- #0.901.
link(70,121) :- #0.279.
link(121,70) :- #0.398.
link(70,122) :- #0.728.
link(122,70) :- #0.485.
link(71,77) :- #0.653.
link(77,71) :- #0.569.
link(71,105) :- #0.685.
link(105,71) :- #0.12.
link(71,112) :- #0.805.
link(112,71) :- #0.595.
link(71,124) :- #0.883.
link(124,71) :- #0.963.
link(71,125) :- #0.267.
link(125,71) :- #0.556.
link(71,137) :- #0.574.
link(137,71) :- #0.029.
link(72,79) :- #0.001.
link(79,72) :- #0.275.
link(72,89) :- #0.894.
link(89,72) :- #0.095.
link(72,100) :- #0.708.
link(100,72) :- #0.656.
link(72,111) :- #0.957.
link(111,72) :- #0.285.
link(72,113) :- #0.597.
link(113,72) :- #0.255.
link(72,117) :- #0.738.
link(117,72) :- #0.349.
link(72,124) :- #0.717.
link(124,72) :- #0.509.
link(72,128) :- #0.637.
link(128,72) :- #0.098.
link(72,131) :- #0.16.
link(131,72) :- #0.041.
link(72,137) :- #0.589.
link(137,72) :- #0.678.
link(73,76) :- #0.914.
link(76,73) :- #0.594.
link(73,91) :- #0.511.
link(91,73) :- #0.478.
link(73,101) :- #0.486.
link(101,73) :- #0.764.
link(73,102) :- #0.581.
link(102,73) :- #0.022.
link(73,118) :- #0.859.
link(118,73) :- #0.51.
link(73,133) :- #0.156.
link(133,73) :- #0.205.
link(74,79) :- #0.657.
link(79,74) :- #0.745.
link(74,98) :- #0.235.
link(98,74) :- #0.346.
link(74,111) :- #0.534.
link(111,74) :- #0.466.
link(74,144) :- #0.014.
link(144,74) :- #0.731.
link(75,83) :- #0.543.
link(83,75) :- #0.144.
link(75,92) :- #0.831.
link(92,75) :- #0.44.
link(75,96) :- #0.378.
link(96,75) :- #0.335.
link(75,101) :- #0.371.
link(101,75) :- #0.024.
link(75,104) :- #0.682.
link(104,75) :- #0.09.
link(75,105) :- #0.291.
link(105,75) :- #0.241.
link(75,113) :- #0.651.
link(113,75) :- #0.934.
link(75,117) :- #0.133.
link(117,75) :- #0.987.
link(75,124) :- #0.797.
link(124,75) :- #0.616.
link(75,134) :- #0.746.
link(134,75) :- #0.343.
link(75,144) :- #0.168.
link(144,75) :- #0.054.
link(76,77) :- #0.112.
link(77,76) :- #0.43.
link(76,82) :- #0.702.
link(82,76) :- #0.714.
link(76,90) :- #0.031.
link(90,76) :- #0.456.
link(76,91) :- #0.387.
link(91,76) :- #0.087.
link(76,100) :- #0.199.
link(100,76) :- #0.747.
link(76,122) :- #0.974.
link(122,76) :- #0.824.
link(77,92) :- #0.808.
link(92,77) :- #0.047.
link(77,106) :- #0.419.
link(106,77) :- #0.041.
link(77,144) :- #0.291.
link(144,77) :- #0.387.
link(78,84) :- #0.556.
link(84,78) :- #0.112.
link(78,91) :- #0.881.
link(91,78) :- #0.052.
link(78,113) :- #0.786.
link(113,78) :- #0.132.
link(78,115) :- #0.327.
link(115,78) :- #0.928.
link(78,116) :- #0.443.
link(116,78) :- #0.974.
link(78,117) :- #0.53.
link(117,78) :- #0.575.
link(78,121) :- #0.636.
link(121,78) :- #0.129.
link(78,134) :- #0.111.
link(134,78) :- #0.055.
link(78,141) :- #0.653.
link(141,78) :- #0.299.
link(78,143) :- #0.375.
link(143,78) :- #0.72.
link(79,80) :- #0.709.
link(80,79) :- #0.093.
link(79,81) :- #0.849.
link(81,79) :- #0.039.
link(79,106) :- #0.997.
link(106,79) :- #0.136.
link(79,125) :- #0.374.
link(125,79) :- #0.286.
link(79,126) :- #0.545.
link(126,79) :- #0.216.
link(79,133) :- #0.511.
link(133,79) :- #0.364.
link(79,134) :- #0.561.
link(134,79) :- #0.63.
link(79,142) :- #0.014.
link(142,79) :- #0.853.
link(80,83) :- #0.303.
link(83,80) :- #0.97.
link(80,96) :- #0.187.
link(96,80) :- #0.008.
link(80,104) :- #0.374.
link(104,80) :- #0.219.
link(80,111) :- #0.699.
link(111,80) :- #0.91.
link(80,116) :- #0.091.
link(116,80) :- #0.908.
link(80,121) :- #0.557.
link(121,80) :- #0.496.
link(80,129) :- #0.502.
link(129,80) :- #0.375.
link(81,89) :- #0.593.
link(89,81) :- #0.084.
link(81,99) :- #0.892.
link(99,81) :- #0.056.
link(81,124) :- #0.522.
link(124,81) :- #0.261.
link(81,127) :- #0.662.
link(127,81) :- #0.377.
link(81,128) :- #0.915.
link(128,81) :- #0.156.
link(81,129) :- #0.995.
link(129,81) :- #0.986.
link(81,130) :- #0.782.
link(130,81) :- #0.028.
link(81,145) :- #0.513.
link(145,81) :- #0.944.
link(82,87) :- #0.792.
link(87,82) :- #0.567.
link(82,97) :- #0.373.
link(97,82) :- #0.338.
link(82,98) :- #0.867.
link(98,82) :- #0.914.
link(82,107) :- #0.981.
link(107,82) :- #0.833.
link(82,123) :- #0.273.
link(123,82) :- #0.293.
link(82,131) :- #0.561.
link(131,82) :- #0.791.
link(82,141) :- #0.719.
link(141,82) :- #0.687.
link(82,145) :- #0.31.
link(145,82) :- #0.889.
link(83,85) :- #0.083.
link(85,83) :- #0.527.
link(83,91) :- #0.43.
link(91,83) :- #0.186.
link(83,109) :- #0.42.
link(109,83) :- #0.152.
link(83,125) :- #0.088.
link(125,83) :- #0.401.
link(83,139) :- #0.961.
link(139,83) :- #0.375.
link(84,85) :- #0.702.
link(85,84) :- #0.831.
link(84,95) :- #0.094.
link(95,84) :- #0.952.
link(84,97) :- #0.105.
link(97,84) :- #0.054.
link(84,98) :- #0.246.
link(98,84) :- #0.88.
link(84,106) :- #0.171.
link(106,84) :- #0.768.
link(84,111) :- #0.294.
link(111,84) :- #0.168.
link(84,126) :- #0.793.
link(126,84) :- #0.178.
link(84,127) :- #0.435.
link(127,84) :- #0.014.
link(84,136) :- #0.391.
link(136,84) :- #0.173.
link(84,143) :- #0.443.
link(143,84) :- #0.972.
link(85,86) :- #0.913.
link(86,85) :- #0.515.
link(85,117) :- #0.063.
link(117,85) :- #0.952.
link(85,135) :- #0.005.
link(135,85) :- #0.878.
link(85,144) :- #0.007.
link(144,85) :- #0.244.
link(86,103) :- #0.345.
link(103,86) :- #0.193.
link(86,107) :- #0.163.
link(107,86) :- #0.856.
link(86,108) :- #0.991.
link(108,86) :- #0.445.
link(86,140) :- #0.119.
link(140,86) :- #0.517.
link(87,89) :- #0.105.
link(89,87) :- #0.176.
link(87,94) :- #0.963.
link(94,87) :- #0.571.
link(87,111) :- #0.852.
link(111,87) :- #0.125.
link(87,129) :- #0.325.
link(129,87) :- #0.814.
link(87,136) :- #0.16.
link(136,87) :- #0.99.
link(87,138) :- #0.204.
link(138,87) :- #0.185.
link(87,143) :- #0.167.
link(143,87) :- #0.509.
link(88,89) :- #0.945.
link(89,88) :- #0.947.
link(88,102) :- #0.237.
link(102,88) :- #0.16.
link(88,103) :- #0.703.
link(103,88) :- #0.088.
link(88,119) :- #0.999.
link(119,88) :- #0.67.
link(88,121) :- #0.339.
link(121,88) :- #0.641.
link(88,124) :- #0.564.
link(124,88) :- #0.414.
link(88,133) :- #0.296.
link(133,88) :- #0.301.
link(88,141) :- #0.345.
link(141,88) :- #0.121.
link(88,142) :- #0.985.
link(142,88) :- #0.406.
link(89,116) :- #0.417.
link(116,89) :- #0.364.
link(89,135) :- #0.352.
link(135,89) :- #0.094.
link(90,93) :- #0.214.
link(93,90) :- #0.956.
link(90,118) :- #0.873.
link(118,90) :- #0.406.
link(90,132) :- #0.417.
link(132,90) :- #0.099.
link(90,136) :- #0.387.
link(136,90) :- #0.588.
link(91,98) :- #0.926.
link(98,91) :- #0.154.
link(91,101) :- #0.186.
link(101,91) :- #0.732.
link(91,105) :- #0.735.
link(105,91) :- #0.818.
link(91,118) :- #0.156.
link(118,91) :- #0.88.
link(91,129) :- #0.921.
link(129,91) :- #0.116.
link(91,137) :- #0.603.
link(137,91) :- #0.358.
link(92,130) :- #0.788.
link(130,92) :- #0.416.
link(92,133) :- #0.776.
link(133,92) :- #0.434.
link(92,139) :- #0.701.
link(139,92) :- #0.179.
link(92,142) :- #0.874.
link(142,92) :- #0.787.
link(93,108) :- #0.516.
link(108,93) :- #0.719.
link(93,116) :- #0.064.
link(116,93) :- #0.917.
link(93,132) :- #0.533.
link(132,93) :- #0.007.
link(93,135) :- #0.483.
link(135,93) :- #0.825.
link(93,140) :- #0.049.
link(140,93) :- #0.873.
link(93,141) :- #0.293.
link(141,93) :- #0.407.
link(94,96) :- #0.184.
link(96,94) :- #0.497.
link(94,105) :- #0.331.
link(105,94) :- #0.193.
link(94,109) :- #0.431.
link(109,94) :- #0.269.
link(94,118) :- #0.983.
link(118,94) :- #0.898.
link(94,137) :- #0.275.
link(137,94) :- #0.061.
link(94,143) :- #0.358.
link(143,94) :- #0.726.
link(95,106) :- #0.063.
link(106,95) :- #0.239.
link(95,134) :- #0.199.
link(134,95) :- #0.356.
link(95,136) :- #0.816.
link(136,95) :- #0.922.
link(95,145) :- #0.963.
link(145,95) :- #0.693.
link(96,107) :- #0.725.
link(107,96) :- #0.704.
link(96,108) :- #0.048.
link(108,96) :- #0.119.
link(96,113) :- #0.073.
link(113,96) :- #0.389.
link(96,119) :- #0.864.
link(119,96) :- #0.402.
link(97,99) :- #0.331.
link(99,97) :- #0.879.
link(97,104) :- #0.72.
link(104,97) :- #0.336.
link(97,123) :- #0.25.
link(123,97) :- #0.876.
link(97,127) :- #0.783.
link(127,97) :- #0.603.
link(98,101) :- #0.078.
link(101,98) :- #0.129.
link(98,116) :- #0.471.
link(116,98) :- #0.244.
link(98,134) :- #0.344.
link(134,98) :- #0.833.
link(98,137) :- #0.985.
link(137,98) :- #0.372.
link(98,138) :- #0.265.
link(138,98) :- #0.068.
link(99,105) :- #0.403.
link(105,99) :- #0.531.
link(99,114) :- #0.169.
link(114,99) :- #0.636.
link(100,111) :- #0.192.
link(111,100) :- #0.091.
link(100,128) :- #0.879.
link(128,100) :- #0.053.
link(100,130) :- #0.757.
link(130,100) :- #0.731.
link(100,142) :- #0.772.
link(142,100) :- #0.913.
link(101,105) :- #0.883.
link(105,101) :- #0.87.
link(101,120) :- #0.966.
link(120,101) :- #0.273.
link(101,122) :- #0.712.
link(122,101) :- #0.569.
link(101,131) :- #0.351.
link(131,101) :- #0.773.
link(102,105) :- #0.314.
link(105,102) :- #0.241.
link(102,106) :- #0.929.
link(106,102) :- #0.744.
link(102,109) :- #0.349.
link(109,102) :- #0.459.
link(102,114) :- #0.398.
link(114,102) :- #0.844.
link(102,119) :- #0.849.
link(119,102) :- #0.251.
link(102,120) :- #0.164.
link(120,102) :- #0.673.
link(102,129) :- #0.542.
link(129,102) :- #0.902.
link(102,133) :- #0.928.
link(133,102) :- #0.116.
link(102,135) :- #0.359.
link(135,102) :- #0.139.
link(102,143) :- #0.836.
link(143,102) :- #0.78.
link(103,118) :- #0.996.
link(118,103) :- #0.339.
link(103,123) :- #0.606.
link(123,103) :- #0.084.
link(104,110) :- #0.514.
link(110,104) :- #0.618.
link(104,123) :- #0.206.
link(123,104) :- #0.407.
link(104,131) :- #0.581.
link(131,104) :- #0.162.
link(104,140) :- #0.055.
link(140,104) :- #0.805.
link(104,143) :- #0.759.
link(143,104) :- #0.437.
link(105,116) :- #0.628.
link(116,105) :- #0.436.
link(105,117) :- #0.394.
link(117,105) :- #0.943.
link(105,118) :- #0.839.
link(118,105) :- #0.095.
link(105,140) :- #0.658.
link(140,105) :- #0.261.
link(105,145) :- #0.234.
link(145,105) :- #0.316.
link(106,112) :- #0.685.
link(112,106) :- #0.634.
link(106,114) :- #0.449.
link(114,106) :- #0.237.
link(106,128) :- #0.058.
link(128,106) :- #0.139.
link(106,131) :- #0.357.
link(131,106) :- #0.779.
link(107,118) :- #0.913.
link(118,107) :- #0.439.
link(107,128) :- #0.127.
link(128,107) :- #0.25.
link(107,132) :- #0.243.
link(132,107) :- #0.772.
link(107,135) :- #0.964.
link(135,107) :- #0.167.
link(107,144) :- #0.706.
link(144,107) :- #0.286.
link(108,109) :- #0.489.
link(109,108) :- #0.993.
link(108,120) :- #0.808.
link(120,108) :- #0.557.
link(108,124) :- #0.701.
link(124,108) :- #0.595.
link(108,125) :- #0.436.
link(125,108) :- #0.368.
link(108,128) :- #0.758.
link(128,108) :- #0.1.
link(108,144) :- #0.537.
link(144,108) :- #0.91.
link(109,128) :- #0.688.
link(128,109) :- #0.633.
link(110,113) :- #0.434.
link(113,110) :- #0.987.
link(110,123) :- #0.848.
link(123,110) :- #0.046.
link(110,126) :- #0.94.
link(126,110) :- #0.682.
link(110,130) :- #0.849.
link(130,110) :- #0.535.
link(111,112) :- #0.64.
link(112,111) :- #0.043.
link(111,124) :- #0.676.
link(124,111) :- #0.416.
link(111,130) :- #0.43.
link(130,111) :- #0.588.
link(111,143) :- #0.413.
link(143,111) :- #0.52.
link(112,115) :- #0.594.
link(115,112) :- #0.847.
link(112,129) :- #0.866.
link(129,112) :- #0.817.
link(113,123) :- #0.37.
link(123,113) :- #0.428.
link(113,136) :- #0.174.
link(136,113) :- #0.112.
link(114,122) :- #0.252.
link(122,114) :- #0.607.
link(114,132) :- #0.431.
link(132,114) :- #0.716.
link(115,118) :- #0.311.
link(118,115) :- #0.558.
link(115,126) :- #0.266.
link(126,115) :- #0.99.
link(115,137) :- #0.059.
link(137,115) :- #0.818.
link(116,120) :- #0.105.
link(120,116) :- #0.906.
link(116,139) :- #0.808.
link(139,116) :- #0.479.
link(117,133) :- #0.474.
link(133,117) :- #0.414.
link(117,141) :- #0.075.
link(141,117) :- #0.042.
link(119,122) :- #0.774.
link(122,119) :- #0.216.
link(120,133) :- #0.129.
link(133,120) :- #0.662.
link(121,125) :- #0.574.
link(125,121) :- #0.802.
link(122,126) :- #0.716.
link(126,122) :- #0.99.
link(122,127) :- #0.811.
link(127,122) :- #0.556.
link(122,129) :- #0.024.
link(129,122) :- #0.707.
link(122,137) :- #0.795.
link(137,122) :- #0.674.
link(123,129) :- #0.862.
link(129,123) :- #0.654.
link(124,136) :- #0.225.
link(136,124) :- #0.381.
link(124,142) :- #0.482.
link(142,124) :- #0.724.
link(125,129) :- #0.249.
link(129,125) :- #0.805.
link(125,131) :- #0.655.
link(131,125) :- #0.213.
link(126,133) :- #0.228.
link(133,126) :- #0.164.
link(126,143) :- #0.048.
link(143,126) :- #0.388.
link(127,133) :- #0.111.
link(133,127) :- #0.071.
link(127,139) :- #0.304.
link(139,127) :- #0.823.
link(127,145) :- #0.187.
link(145,127) :- #0.547.
link(128,130) :- #0.865.
link(130,128) :- #0.458.
link(128,140) :- #0.389.
link(140,128) :- #0.207.
link(128,145) :- #0.609.
link(145,128) :- #0.984.
link(129,135) :- #0.981.
link(135,129) :- #0.417.
link(129,141) :- #0.051.
link(141,129) :- #0.688.
link(130,133) :- #0.373.
link(133,130) :- #0.393.
link(131,133) :- #0.713.
link(133,131) :- #0.06.
link(131,139) :- #0.45.
link(139,131) :- #0.267.
link(132,140) :- #0.429.
link(140,132) :- #0.957.
link(132,142) :- #0.22.
link(142,132) :- #0.351.
link(134,145) :- #0.818.
link(145,134) :- #0.741.
link(136,139) :- #0.968.
link(139,136) :- #0.855.
link(138,142) :- #0.889.
link(142,138) :- #0.132.
link(138,144) :- #0.698.
link(144,138) :- #0.439.
link(140,144) :- #0.179.
link(144,140) :- #0.639.
link(142,143) :- #0.166.
link(143,142) :- #0.361.
link(142,145) :- #0.87.
link(145,142) :- #0.648.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
